bool_1_summary 12,41
Definitions, theorems and tactics for the boolean 
type and boolean-related expressions.

origin